From: Jakub Steiner <jimmac@gmail.com>
Date: Thu, 25 Apr 2024 15:15:13 +0000 (-0400)
Subject: theme: Worksace indicator height
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~226^2^2~195
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=fb74d56258d5127ca92b0b9bc1c939e6e9d551d1;p=gnome-shell.git

theme: Worksace indicator height

- set the workspace indicator height to match the non-labeled osd panels
  such as volume or brightness

Fixes #7612

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3282>
---

diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index f3e069f78..da8d77fde 100644
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -1,6 +1,6 @@
 /* Workspace Switcher */
 
-$ws_indicator_height: 48px;
+$ws_indicator_height: 32px;
 $ws_dot_active: $ws_indicator_height / 3;
 $ws_dot_inactive: $ws_indicator_height / 6;